https://www.passeidireto.com/pergunta/125960661/uma-equivalente-logica-para-a-proposicao-se-marta-e-casada-entao-dionisio-e-divo